Boolean algebras and Lubell functions

Let $2^{[n]}$ denote the power set of $[n]:=\{1,2,..., n\}$. A collection \B\subset 2^{[n]} forms a $d$-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets $X_0, X_1,..., X_d \subseteq [n]$, all non-empty with perhaps the exception of $X_0$, so that \B={X_0\cup \bigcup_{i\in I} X_i\colon I\subseteq [d]}. Let $b(n,d)$ be the maximum cardinality of a family \F\subset 2^X that does not contain a $d$-dimensional Boolean algebra. Gunderson, R\"odl, and Sidorenko proved that $b(n,d) \leq c_d n^{-1/2^d} \cdot 2^n$ where $c_d= 10^d 2^{-2^{1-d}}d^{d-2^{-d}}$. In this paper, we use the Lubell function as a new measurement for large families instead of cardinality. The Lubell value of a family of sets \F with \F\subseteq \tsupn is defined by h_n(\F):=\sum_{F\in \F}1/{{n\choose |F|}}. We prove the following Tur\'an type theorem. If \F\subseteq 2^{[n]} contains no $d$-dimensional Boolean algebra, then h_n(\F)\leq 2(n+1)^{1-2^{1-d}} for sufficiently large $n$. This results implies $b(n,d) \leq C n^{-1/2^d} \cdot 2^n$, where $C$ is an absolute constant independent of $n$ and $d$. As a consequence, we improve several Ramsey-type bounds on Boolean algebras. We also prove a canonical Ramsey theorem for Boolean algebras.Comment: 10 page

Tur\'an Numbers of Ordered Tight Hyperpaths

An ordered hypergraph is a hypergraph $G$ whose vertex set $V(G)$ is linearly ordered. We find the Tur\'an numbers for the $r$-uniform $s$-vertex tight path $P^{(r)}_s$ (with vertices in the natural order) exactly when $r\le s < 2r$ and $n$ is even; our results imply $\mathrm{ex}_{>}(n,P^{(r)}_s)=(1-\frac{1}{2^{s-r}} + o(1))\binom{n}{r}$ when r\le s}(n,P^{(r)}_s) remain open. For $r=3$, we give a construction of an $r$-uniform $n$-vertex hypergraph not containing $P^{(r)}_s$ which we conjecture to be asymptotically extremal.Comment: 10 pages, 0 figure

Tree-width and dimension

Over the last 30 years, researchers have investigated connections between dimension for posets and planarity for graphs. Here we extend this line of research to the structural graph theory parameter tree-width by proving that the dimension of a finite poset is bounded in terms of its height and the tree-width of its cover graph.Comment: Updates on solutions of problems and on bibliograph

Sublinear Longest Path Transversals and Gallai Families

We show that connected graphs admit sublinear longest path transversals. This improves an earlier result of Rautenbach and Sereni and is related to the fifty-year-old question of whether connected graphs admit constant-size longest path transversals. The same technique allows us to show that $2$-connected graphs admit sublinear longest cycle transversals. We also make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. Finally, we show that if the order of a connected graph $G$ is large relative to its connectivity $\kappa(G)$ and $\alpha(G) \le \kappa(G) + 2$, then each vertex of maximum degree forms a longest path transversal of size $1$

First-Fit is Linear on Posets Excluding Two Long Incomparable Chains

A poset is (r + s)-free if it does not contain two incomparable chains of size r and s, respectively. We prove that when r and s are at least 2, the First-Fit algorithm partitions every (r + s)-free poset P into at most 8(r-1)(s-1)w chains, where w is the width of P. This solves an open problem of Bosek, Krawczyk, and Szczypka (SIAM J. Discrete Math., 23(4):1992--1999, 2010).Comment: v3: fixed some typo

Cycle spectra of Hamiltonian graphs

AbstractWe prove that every Hamiltonian graph with n vertices and m edges has cycles with more than p−12lnp−1 different lengths, where p=m−n. For general m and n, there exist such graphs having at most 2⌈p+1⌉ different cycle lengths